Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·17h·
Discuss: Hacker News
🕸️WebP Analysis
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·7h
📋Protocol Buffers
Encrypting identifiers in practice
sjoerdlangkemper.nl·9h
🌊Stream Ciphers
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Call for Testing: Network Interface Driver Fix for OpenBSD
discoverbsd.com·23h
🛡️eBPF Security
PEGTL -- Parsing Expression Grammar Template Library
github.com·14h·
Discuss: Hacker News
🔗Parser Combinators
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·17h
🔄Burrows-Wheeler
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
Machine Learning Fundamentals: accuracy project
dev.to·1d·
Discuss: DEV
✅Archive Validation
The Guide to the Foundation Models Framework
azamsharp.com·33m·
Discuss: Hacker News
λLambda Formalization
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·1d
🐛Fuzzing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
The collective waste caused by poor documentation
shanrauf.com·12h·
Discuss: Hacker News
📦Deflate